Metadata aliases: [] shorthands: {} created: 2021-12-10 20:49:14 modified: 2022-01-10 04:13:03 is a vector space over the field , is a linear map, is an eigenvector for and is any nonzero element of . Statement: is also an eigenvector for with the same eigenvalue as .
aliases: [] shorthands: {} created: 2021-12-10 20:49:14 modified: 2022-01-10 04:13:03
Let be the eigenvalue of . Then
QED